First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
621	A New Approach to Teaching Discrete Mathematics David Gries∗ and Fred B. Schneider† Computer Science, Cornell University June 20, 2001 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:15:58 Proof theory Logic in computer science Mathematical proofs Philosophical logic First-order logic Equational logic Propositional calculus Natural deduction Combinatory logic Logic Mathematics Mathematical logic
622	Reasoning about Programs by Exploiting the Environment* Limor Fix Fred B. Schneider Department of Computer Science Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:28:10 Mathematical logic Propositional calculus Formal languages First-order logic Model theory Entailment Function Constructible universe Logical connective Logic Logical syntax Metalogic
623	ANNAUOF PUREAND APPLIEDLOGIC EISBVIER Annals of Pure and Applied Logic[removed]299 Add to Reading List Source URL: www.ihes.fr Language: English - Date: 2009-09-10 07:50:35 Cut-elimination theorem Sequent First-order logic Linear logic Craig interpolation Structural rule Propositional calculus Rule of inference Well-formed formula Logic Mathematical logic Proof theory
624	Automated Theorem Proving Frank Pfenning Carnegie Mellon University Draft of Spring 2004 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-04-13 10:08:54 Natural deduction Sequent Intuitionistic logic Judgment Cut-elimination theorem Linear logic Curry–Howard correspondence First-order logic Rule of inference Logic Mathematical logic Proof theory
625	Analysis of authentication protocols Intership report St´ephane Glondu ENS de Cachan∗ September 3, 2006 Add to Reading List Source URL: stephane.glondu.net Language: English - Date: 2006-09-03 17:53:44 Formal languages Mathematical logic Cryptographic protocols Semantics Burrows–Abadi–Needham logic Interpretation First-order logic Constructible universe Ground expression Logic Mathematics Model theory
626	Reasoning about programs by exploiting the environment Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-12 23:54:30 Model theory Philosophical logic Concurrency Temporal logic Temporal logic of actions First-order logic Modal logic FO If and only if Logic Mathematical logic Mathematics
627	Equational Propositional Logic David Gries 1 and Fred B. Schneider 2 Computer Science, Cornell University September[removed]Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:13:08 Propositional calculus Rules of inference Boolean algebra Philosophical logic Equational logic First-order logic Mathematical proof Modal logic Modus ponens Logic Mathematics Mathematical logic
628	From: AAAI-88 Proceedings. Copyright ©1988, AAAI (www.aaai.org). All rights reserved. Adding Number Restrictions to a Four-Valued Terminological Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-09 19:35:30 Science Interpretation First-order logic Knowledge representation and reasoning Logic Model theory Mathematical logic
629	Formalizations Of Substitution Of Equals For Equals David Gries and Fred B. Schneider y Computer Science Department, Cornell University Ithaca, New York[removed]USA May 27, 1998 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 13:45:56 Propositional calculus Predicate logic Model theory Quantification First-order logic Function Generalization Universal quantification Modal logic Logic Mathematical logic Mathematics
630	AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS Add to Reading List Source URL: www.avacs.org Language: English - Date: 2011-01-07 05:03:40 European Rail Traffic Management System Logic in computer science Applied mathematics European Train Control System Predicate logic Formal methods First-order logic Formal verification Control theory Train protection systems Logic Mathematical logic

UPDATE